Add gdk_display_is_closed

https://bugzilla.gnome.org/show_bug.cgi?id=624224

diff --git a/docs/reference/gdk/gdk3-sections.txt b/docs/reference/gdk/gdk3-sections.txt
index f611c016f18ca3956ca86ad80e4a53049b2efcd4..49114797bd1170cd2abfd65d4362733c153a3cb1 100644 (file)
--- a/docs/reference/gdk/gdk3-sections.txt
+++ b/docs/reference/gdk/gdk3-sections.txt
@@ -129,6 +129,7 @@ gdk_display_beep
 gdk_display_sync
 gdk_display_flush
 gdk_display_close
+gdk_display_is_closed
 gdk_display_list_devices
 gdk_display_get_event
 gdk_display_peek_event

diff --git a/gdk/gdk.symbols b/gdk/gdk.symbols
index 3e02b91919cdf045b4a5048a2057b98dd2f7bf91..a97f0672fa9f9df4d047f5678c78a9774c58f4b8 100644 (file)
--- a/gdk/gdk.symbols
+++ b/gdk/gdk.symbols
@@ -415,6 +415,7 @@ gdk_input_set_extension_events
 #if IN_HEADER(__GDK_DISPLAY_H__)
 #if IN_FILE(__GDK_DISPLAY_C__)
 gdk_display_close
+gdk_display_is_closed
 gdk_display_get_event
 gdk_display_get_device_manager
 gdk_display_get_device_state

diff --git a/gdk/gdkdisplay.c b/gdk/gdkdisplay.c
index 437ea9e1b3239f28ae8c94d9e9e347ed85a7d4ca..e81c5f730a3ab80a926455a8810722f4402aa039 100644 (file)
--- a/gdk/gdkdisplay.c
+++ b/gdk/gdkdisplay.c
@@ -338,6 +338,22 @@ gdk_display_close (GdkDisplay *display)
     }
 }
 
+/**
+ * gdk_display_is_closed:
+ * @display: a #GdkDisplay
+ *
+ * Returns %TRUE if the display is closed.
+ *
+ * Since: 2.22
+ */
+gboolean
+gdk_display_is_closed  (GdkDisplay  *display)
+{
+  g_return_val_if_fail (GDK_IS_DISPLAY (display), FALSE);
+
+  return display->closed;
+}
+
 /**
  * gdk_display_get_event:
  * @display: a #GdkDisplay

diff --git a/gdk/gdkdisplay.h b/gdk/gdkdisplay.h
index 55fcf3825da946ff39d36bc2c20e14cb66e074ee..1b11b696c7d0322557363f22dbf7bb12b2bb3f9a 100644 (file)
--- a/gdk/gdkdisplay.h
+++ b/gdk/gdkdisplay.h
@@ -211,7 +211,8 @@ void        gdk_display_beep               (GdkDisplay  *display);
 void        gdk_display_sync               (GdkDisplay  *display);
 void        gdk_display_flush              (GdkDisplay  *display);
 
-void       gdk_display_close              (GdkDisplay  *display);
+void       gdk_display_close                  (GdkDisplay  *display);
+gboolean    gdk_display_is_closed          (GdkDisplay  *display);
 
 #ifndef GDK_DISABLE_DEPRECATED
 GList *     gdk_display_list_devices       (GdkDisplay  *display);